#include <stdio.h>
int main()
{
    int num[1024], n, i = 0, temp;
    while(scanf("%d", &n) && n >= 0)
        num[i++] = n;
    for(int j = 0; j < i; j ++){
        int t = j;
        for(int k = j+1; k < i; k ++)
            if(num[k] > num [t])
                t = k;
        if( t != j){
            temp = num[t];
            num[t] = num[j];
            num[j] = temp;
        }
    }
    for( int j = 0; j < i; j ++)
        if( j == 0)
            printf("%d", num[j]);
        else
            printf(" %d", num[j]);
    printf("\n");
}